Vrije Universiteit Amsterdam

Results: 350



#Item
21A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France

A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France

Add to Reading List

Source URL: people.mpi-inf.mpg.de

- Date: 2016-12-19 05:45:29
    22The VU Sound Corpus Adding More Fine-grained Annotations to the Freesound Database Emiel van Miltenburg, Benjamin Timmermans, Lora Aroyo The Network Institute Vrije Universiteit Amsterdam {emiel.van.miltenburg, b.timmerm

    The VU Sound Corpus Adding More Fine-grained Annotations to the Freesound Database Emiel van Miltenburg, Benjamin Timmermans, Lora Aroyo The Network Institute Vrije Universiteit Amsterdam {emiel.van.miltenburg, b.timmerm

    Add to Reading List

    Source URL: www.lrec-conf.org

    - Date: 2016-05-13 12:13:56
      23Low-bandwidth Semantic Web Onno Valkering ? Vrije Universiteit Amsterdam, the Netherlands

      Low-bandwidth Semantic Web Onno Valkering ? Vrije Universiteit Amsterdam, the Netherlands

      Add to Reading List

      Source URL: www.victordeboer.com

      - Date: 2016-07-18 09:44:29
        24Reasoning with Inconsistent Ontologies ∗ Zhisheng Huang, Frank van Harmelen, and Annette ten Teije Department of Computer Science, Vrije Universiteit Amsterdam, The Netherlands {huang, Frank.van.Harmelen, annette}@cs.v

        Reasoning with Inconsistent Ontologies ∗ Zhisheng Huang, Frank van Harmelen, and Annette ten Teije Department of Computer Science, Vrije Universiteit Amsterdam, The Netherlands {huang, Frank.van.Harmelen, annette}@cs.v

        Add to Reading List

        Source URL: www.cs.vu.nl

        - Date: 2005-04-26 10:35:49
          25A Hybrid PKI-IBC Based Ephemerizer System Srijith K. Nair1 , Mohammad T. Dashti2 , Bruno Crispo1,3 , and Andrew S. Tanenbaum1 1 Dept. Computer Science, Vrije Universiteit, Amsterdam, The Netherlands

          A Hybrid PKI-IBC Based Ephemerizer System Srijith K. Nair1 , Mohammad T. Dashti2 , Bruno Crispo1,3 , and Andrew S. Tanenbaum1 1 Dept. Computer Science, Vrije Universiteit, Amsterdam, The Netherlands

          Add to Reading List

          Source URL: www.cs.vu.nl

          - Date: 2007-02-14 06:14:17
            26Logical Verification Course Notes Femke van Raamsdonk Vrije Universiteit Amsterdam autumn 2008

            Logical Verification Course Notes Femke van Raamsdonk Vrije Universiteit Amsterdam autumn 2008

            Add to Reading List

            Source URL: www.cs.ru.nl

            - Date: 2011-09-02 08:06:23
              27grlc Makes GitHub Taste Like Linked Data APIs Albert Meroño-Peñuela1,2 and Rinke Hoekstra1,3 1 Department of Computer Science, Vrije Universiteit Amsterdam, NL {albert.merono,rinke.hoekstra}@vu.nl

              grlc Makes GitHub Taste Like Linked Data APIs Albert Meroño-Peñuela1,2 and Rinke Hoekstra1,3 1 Department of Computer Science, Vrije Universiteit Amsterdam, NL {albert.merono,rinke.hoekstra}@vu.nl

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2016-07-08 19:51:42
                28Het nut van data mining Dr. Wojtek Kowalczyk, Vrije Universiteit in Amsterdam () Dr. Wojtek Kowalczyk is werkzaam aan de Vrije Universiteit, waar hij onderzoek

                Het nut van data mining Dr. Wojtek Kowalczyk, Vrije Universiteit in Amsterdam () Dr. Wojtek Kowalczyk is werkzaam aan de Vrije Universiteit, waar hij onderzoek

                Add to Reading List

                Source URL: www.deconnectie.com

                - Date: 2008-10-16 19:46:35
                  292016 IEEE Symposium on Security and Privacy Dedup Est Machina: Memory Deduplication as an Advanced Exploitation Vector Erik Bosman Vrije Universiteit Amsterdam

                  2016 IEEE Symposium on Security and Privacy Dedup Est Machina: Memory Deduplication as an Advanced Exploitation Vector Erik Bosman Vrije Universiteit Amsterdam

                  Add to Reading List

                  Source URL: www.ieee-security.org

                  - Date: 2016-04-21 14:49:34
                    30Internet-Scale BGP Simulation Maciek Wojciechowski†, Benno Overeinder†, Guillaume Pierre*, and Maarten van Steen* NLnet Labs * Vrije Universiteit Amsterdam

                    Internet-Scale BGP Simulation Maciek Wojciechowski†, Benno Overeinder†, Guillaume Pierre*, and Maarten van Steen* NLnet Labs * Vrije Universiteit Amsterdam

                    Add to Reading List

                    Source URL: nlnetlabs.nl

                    - Date: 2009-06-27 06:07:03